Formal specification of parallel SIMD execution
نویسندگان
چکیده
منابع مشابه
Parallel real-time systems: formal specification
For many real-time applications, parallel computers ooer a natural computing platform. However, very little attention has been paid to software support for real-time embedded systems on parallel machines. This paper addresses the problem of formal software speciica-tion for parallel real-time systems, and presents some features of a formal speciication language { PRET-SEL (Parallel REal-Time Sp...
متن کاملWeb Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملHybrid Parallel Execution Model for Logic-Based Specification Languages
That's it, a book to wait for in this month. Even you have wanted for long time for releasing this book hybrid parallel execution model for logic based specification languages; you may not be able to get in some stress. Should you go around and seek fro the book until you really get it? Are you sure? Are you that free? This condition will force you to always end up to get a book. But now, we ar...
متن کاملContext Optimization for SIMD Execution yKen
One issue that SIMD compilers must address is generating code to change the machine context; i.e., disabling processors not involved in the current computation. We present two compiler optimizations that reduce the cost of context changes. The rst optimization , context partitioning, reorders the Fortran 90 code so that as subgrid loops are generated, as many statements as possible that require...
متن کاملPerformance Evaluation of Parallel Simd
A simulator for SIMD type architectures is presented. Starting from an architecture independent algorithm description based on recurrence equations, transformation steps for automatic parallelization, mapping and code generation are outlined. The nal pseudo code program together with architecture dependent parameters and execution time tables, are fed into the simulator in order to gain perform...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1996
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(96)00113-2